style: Enforce a min spacing of the dash to the left/right screen edges

The dash currently doesn't enforce any spacing when it comes to the left and
right edges of the monitor. With the right amount of icons, it will come
very close to or even touch the edge.

Make sure this "edge case" also looks good by adding a padding to the left
and right of the container.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3278>

diff --git a/data/theme/gnome-shell-sass/widgets/_dash.scss b/data/theme/gnome-shell-sass/widgets/_dash.scss
index e49a259ae64c463fc1e975bee40a0c28c2605bf7..02323fcc6a05a6b26065b480bdc63bb0f7a96298 100644 (file)
--- a/data/theme/gnome-shell-sass/widgets/_dash.scss
+++ b/data/theme/gnome-shell-sass/widgets/_dash.scss
@@ -11,6 +11,10 @@ $dash_spacing: $base_margin * 0.5;
 
 // container for the dash
 #dash {
+  // a bit of spacing so that dash doesn't touch the screen edges
+  padding-left: $base_padding;
+  padding-right: $base_padding;
+
   // background behind item container
   .dash-background {
     background-color: $dash_background_color;